Scheme Updates

FibLSS: A Scalable Label Storage Scheme for Dynamic XML Updates

Dynamic labeling schemes for XML updates have been the focus of significant research activity in recent years. However the label storage schemes underpinning the dynamic labeling schemes have not received as much attention. Label storage schemes specify how labels are physically encoded and stored on disk. The size of the labels and their logical representation directly influence the computatio...

I-4: Sperm Retrieval: 2013 Updates

Men with congenital absence or bilateral partial aplasia of vas deferens, or those with failed or surgically unreconstructable obstructions or azospermic men with testicular failure or genetic cause can now be treated by using sperm retrieval techniques in conjunction with in vitro fertilization/intra cytoplasmic sperm injection (ICSI/ IVF). These techniques are: Microsurgical epididymal sperm ...

Fluid Updates: Beyond Strong vs. Weak Updates

We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that relaxes the dichotomy between strong and weak updates. Our technique is fully automatic, does not suffer from the kind of state-space explosion problem partition-based approaches are prone to, and can naturally express properties t...

SCOOTER: A Compact and Scalable Dynamic Labeling Scheme for XML Updates

Although dynamic labeling schemes for XML have been the focus of recent research activity, there are significant challenges still to be overcome. In particular, though there are labeling schemes that ensure a compact label representation when creating an XML document, when the document is subject to repeated and arbitrary deletions and insertions, the labels grow rapidly and consequently have a...

SPHERE : A New Encryption Scheme Allowing Both Security Updates and Operations on Encrypted Data